[INFO] cloning repository https://github.com/memoryleak47/liasynth
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/memoryleak47/liasynth" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fliasynth", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fliasynth'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d39384ed7fb0fd2e4ce60f3d6bde7b9a7681b2cf
[INFO] fixing memoryleak47/liasynth against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=start=2015 for pr-157817-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fliasynth" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/memoryleak47/liasynth
[INFO] finished tweaking git repo https://github.com/memoryleak47/liasynth
[INFO] tweaked toml for git repo https://github.com/memoryleak47/liasynth written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/memoryleak47/liasynth on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/memoryleak47/liasynth already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 112 packages to latest Rust 1.98.0-nightly compatible versions
[INFO] [stderr]       Adding atomic-waker v1.1.2
[INFO] [stderr]       Adding base64 v0.22.1
[INFO] [stderr]       Adding bumpalo v3.20.3
[INFO] [stderr]       Adding bytes v1.12.0
[INFO] [stderr]       Adding cc v1.2.65
[INFO] [stderr]       Adding cfg_aliases v0.2.1
[INFO] [stderr]       Adding displaydoc v0.2.6
[INFO] [stderr]       Adding find-msvc-tools v0.1.9
[INFO] [stderr]       Adding form_urlencoded v1.2.2
[INFO] [stderr]       Adding futures-channel v0.3.32
[INFO] [stderr]       Adding futures-core v0.3.32
[INFO] [stderr]       Adding futures-io v0.3.32
[INFO] [stderr]       Adding futures-sink v0.3.32
[INFO] [stderr]       Adding futures-task v0.3.32
[INFO] [stderr]       Adding futures-util v0.3.32
[INFO] [stderr]       Adding getrandom v0.2.17
[INFO] [stderr]       Adding http v1.4.2
[INFO] [stderr]       Adding http-body v1.0.1
[INFO] [stderr]       Adding http-body-util v0.1.3
[INFO] [stderr]       Adding httparse v1.10.1
[INFO] [stderr]       Adding hyper v1.10.1
[INFO] [stderr]       Adding hyper-rustls v0.27.9
[INFO] [stderr]       Adding hyper-util v0.1.20
[INFO] [stderr]       Adding icu_collections v2.2.0
[INFO] [stderr]       Adding icu_locale_core v2.2.0
[INFO] [stderr]       Adding icu_normalizer v2.2.0
[INFO] [stderr]       Adding icu_normalizer_data v2.2.0
[INFO] [stderr]       Adding icu_properties v2.2.0
[INFO] [stderr]       Adding icu_properties_data v2.2.0
[INFO] [stderr]       Adding icu_provider v2.2.0
[INFO] [stderr]       Adding idna v1.1.0
[INFO] [stderr]       Adding idna_adapter v1.2.2
[INFO] [stderr]       Adding ipnet v2.12.0
[INFO] [stderr]       Adding itoa v1.0.18
[INFO] [stderr]       Adding js-sys v0.3.102
[INFO] [stderr]       Adding libm v0.2.16
[INFO] [stderr]       Adding litemap v0.8.2
[INFO] [stderr]       Adding lru-slab v0.1.2
[INFO] [stderr]       Adding mio v1.1.0 (available: v1.2.1)
[INFO] [stderr]       Adding percent-encoding v2.3.2
[INFO] [stderr]       Adding pin-project-lite v0.2.17
[INFO] [stderr]       Adding potential_utf v0.1.5
[INFO] [stderr]       Adding quinn v0.11.11
[INFO] [stderr]       Adding quinn-proto v0.11.15
[INFO] [stderr]       Adding quinn-udp v0.5.14
[INFO] [stderr]     Updating quote v1.0.40 -> v1.0.46
[INFO] [stderr]       Adding rand_distr v0.5.1 (available: v0.6.0)
[INFO] [stderr]       Adding reqwest v0.12.28
[INFO] [stderr]       Adding ring v0.17.14
[INFO] [stderr]       Adding rustls v0.23.41
[INFO] [stderr]       Adding rustls-pki-types v1.14.1
[INFO] [stderr]       Adding rustls-webpki v0.103.13
[INFO] [stderr]       Adding rustversion v1.0.22
[INFO] [stderr]       Adding ryu v1.0.23
[INFO] [stderr]       Adding serde_json v1.0.150
[INFO] [stderr]       Adding serde_urlencoded v0.7.1
[INFO] [stderr]       Adding shlex v2.0.1
[INFO] [stderr]       Adding slab v0.4.12
[INFO] [stderr]       Adding socket2 v0.6.4
[INFO] [stderr]       Adding stable_deref_trait v1.2.1
[INFO] [stderr]       Adding subtle v2.6.1
[INFO] [stderr]       Adding sync_wrapper v1.0.2
[INFO] [stderr]       Adding synstructure v0.13.2
[INFO] [stderr]       Adding tinystr v0.8.3
[INFO] [stderr]       Adding tinyvec v1.11.0
[INFO] [stderr]       Adding tinyvec_macros v0.1.1
[INFO] [stderr]       Adding tokio v1.50.0 (available: v1.52.3)
[INFO] [stderr]       Adding tokio-rustls v0.26.4
[INFO] [stderr]       Adding tower v0.5.3
[INFO] [stderr]       Adding tower-http v0.6.11
[INFO] [stderr]       Adding tower-layer v0.3.3
[INFO] [stderr]       Adding tower-service v0.3.3
[INFO] [stderr]       Adding tracing v0.1.44
[INFO] [stderr]       Adding tracing-core v0.1.36
[INFO] [stderr]       Adding try-lock v0.2.5
[INFO] [stderr]       Adding untrusted v0.9.0
[INFO] [stderr]       Adding url v2.5.8
[INFO] [stderr]       Adding utf8_iter v1.0.4
[INFO] [stderr]       Adding want v0.3.1
[INFO] [stderr]       Adding wasi v0.11.1+wasi-snapshot-preview1
[INFO] [stderr]       Adding wasm-bindgen v0.2.125
[INFO] [stderr]       Adding wasm-bindgen-futures v0.4.75
[INFO] [stderr]       Adding wasm-bindgen-macro v0.2.125
[INFO] [stderr]       Adding wasm-bindgen-macro-support v0.2.125
[INFO] [stderr]       Adding wasm-bindgen-shared v0.2.125
[INFO] [stderr]       Adding web-sys v0.3.102
[INFO] [stderr]       Adding web-time v1.1.0
[INFO] [stderr]       Adding webpki-roots v1.0.8
[INFO] [stderr]       Adding windows-sys v0.52.0
[INFO] [stderr]       Adding windows-sys v0.60.2
[INFO] [stderr]       Adding windows-sys v0.61.2
[INFO] [stderr]       Adding windows-targets v0.52.6
[INFO] [stderr]       Adding windows_aarch64_gnullvm v0.52.6
[INFO] [stderr]       Adding windows_aarch64_msvc v0.52.6
[INFO] [stderr]       Adding windows_i686_gnu v0.52.6
[INFO] [stderr]       Adding windows_i686_gnullvm v0.52.6
[INFO] [stderr]       Adding windows_i686_msvc v0.52.6
[INFO] [stderr]       Adding windows_x86_64_gnu v0.52.6
[INFO] [stderr]       Adding windows_x86_64_gnullvm v0.52.6
[INFO] [stderr]       Adding windows_x86_64_msvc v0.52.6
[INFO] [stderr]       Adding writeable v0.6.3
[INFO] [stderr]       Adding yoke v0.8.3
[INFO] [stderr]       Adding yoke-derive v0.8.2
[INFO] [stderr]     Updating z3 v0.19.1 -> v0.19.15 (available: v0.20.1)
[INFO] [stderr]     Updating z3-sys v0.10.0 -> v0.10.9
[INFO] [stderr]       Adding zerofrom v0.1.8
[INFO] [stderr]       Adding zerofrom-derive v0.1.7
[INFO] [stderr]       Adding zeroize v1.9.0
[INFO] [stderr]       Adding zerotrie v0.2.4
[INFO] [stderr]       Adding zerovec v0.11.6
[INFO] [stderr]       Adding zerovec-derive v0.11.3
[INFO] [stderr]       Adding zmij v1.0.21
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded serde v1.0.225
[INFO] [stderr]   Downloaded quinn-proto v0.11.15
[INFO] [stderr]   Downloaded z3-sys v0.10.9
[INFO] [stderr]   Downloaded z3 v0.19.15
[INFO] [stderr]   Downloaded quinn v0.11.11
[INFO] [stderr]   Downloaded serde_derive v1.0.225
[INFO] [stderr]   Downloaded priority-queue v2.7.0
[INFO] [stderr]   Downloaded serde_core v1.0.225
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 80b3b8c8a01df9496a5a6c891c8166fcbeadb8fc1b875b4f570aa67b4540b60f
[INFO] running `Command { std: "docker" "start" "80b3b8c8a01df9496a5a6c891c8166fcbeadb8fc1b875b4f570aa67b4540b60f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "80b3b8c8a01df9496a5a6c891c8166fcbeadb8fc1b875b4f570aa67b4540b60f" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "80b3b8c8a01df9496a5a6c891c8166fcbeadb8fc1b875b4f570aa67b4540b60f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "80b3b8c8a01df9496a5a6c891c8166fcbeadb8fc1b875b4f570aa67b4540b60f" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=start=2015", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling stable_deref_trait v1.2.1
[INFO] [stderr]    Compiling bytes v1.12.0
[INFO] [stderr]    Compiling pin-project-lite v0.2.17
[INFO] [stderr]    Compiling writeable v0.6.3
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling litemap v0.8.2
[INFO] [stderr]    Compiling cc v1.2.65
[INFO] [stderr]    Compiling icu_normalizer_data v2.2.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling icu_properties_data v2.2.0
[INFO] [stderr]    Compiling zeroize v1.9.0
[INFO] [stderr]    Compiling socket2 v0.6.4
[INFO] [stderr]    Compiling mio v1.1.0
[INFO] [stderr]    Compiling serde_core v1.0.225
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling futures-io v0.3.32
[INFO] [stderr]    Compiling slab v0.4.12
[INFO] [stderr]    Compiling httparse v1.10.1
[INFO] [stderr]    Compiling rustls v0.23.41
[INFO] [stderr]    Compiling try-lock v0.2.5
[INFO] [stderr]    Compiling glob v0.3.2
[INFO] [stderr]    Compiling tower-service v0.3.3
[INFO] [stderr]    Compiling want v0.3.1
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling rustls-pki-types v1.14.1
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling atomic-waker v1.1.2
[INFO] [stderr]    Compiling serde v1.0.225
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling sync_wrapper v1.0.2
[INFO] [stderr]    Compiling ipnet v2.12.0
[INFO] [stderr]    Compiling tower-layer v0.3.3
[INFO] [stderr]    Compiling bitflags v2.9.1
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]    Compiling libloading v0.8.8
[INFO] [stderr]    Compiling webpki-roots v1.0.8
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling http v1.4.2
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling bindgen v0.72.0
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking signal-hook-registry v1.4.6
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking priority-queue v2.7.0
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking signal-hook v0.3.18
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking dashmap v6.1.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking ordered-float v5.0.0
[INFO] [stderr]     Checking rand_distr v0.5.1
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling hyper v1.10.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling displaydoc v0.2.6
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling serde_derive v1.0.225
[INFO] [stderr]    Compiling lang v0.1.0 (/opt/rustwide/workdir/lang)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> lang/src/lib.rs:22:9
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let mut arr: ExprArray = parse(input).unwrap();
[INFO] [stdout]    |         ----^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]   --> lang/src/lib.rs:35:13
[INFO] [stdout]    |
[INFO] [stdout] 35 |         let n = LitInt::new(
[INFO] [stdout]    |             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling yoke v0.8.3
[INFO] [stderr]     Checking thiserror v2.0.12
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling tower-http v0.6.11
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling hyper-rustls v0.27.9
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling z3-sys v0.10.9
[INFO] [stderr]     Checking z3 v0.19.15
[INFO] [stderr]     Checking liasynth v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0583]: file not found for module `langdef`
[INFO] [stdout]   --> src/main.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | mod langdef;
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: to create the module `langdef`, create file "src/langdef.rs" or "src/langdef/mod.rs"
[INFO] [stdout]    = note: if there is a `mod langdef` elsewhere in the crate already, import it with `use crate::...` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0583]: file not found for module `langdef`
[INFO] [stdout]   --> src/main.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | mod langdef;
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: to create the module `langdef`, create file "src/langdef.rs" or "src/langdef/mod.rs"
[INFO] [stdout]    = note: if there is a `mod langdef` elsewhere in the crate already, import it with `use crate::...` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:110:6
[INFO] [stdout]     |
[INFO] [stdout] 110 | impl Node {
[INFO] [stdout]     |      ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:119:20
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub elems: Vec<Node>,
[INFO] [stdout]     |                    ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub struct Term<Node> {
[INFO] [stdout]     |                ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:123:31
[INFO] [stdout]     |
[INFO] [stdout] 123 |     pub fn push(&mut self, n: Node) -> Id {
[INFO] [stdout]     |                               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/core.rs:134:24
[INFO] [stdout]     |
[INFO] [stdout] 134 |                 if let Child::Hole(j, ref mut idx) = *ch {
[INFO] [stdout]     |                        ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:170:41
[INFO] [stdout]     |
[INFO] [stdout] 170 | pub fn eval_term_partial(i: Id, term: &[Node], sigma: &Sigma) -> Option<Value> {
[INFO] [stdout]     |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:13:37
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue = BinaryHeap<WithOrd<Node, Score>>;
[INFO] [stdout]    |                                     ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue<Node> = BinaryHeap<WithOrd<Node, Score>>;
[INFO] [stdout]    |               ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:68:15
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub node: Node,
[INFO] [stdout]    |               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:81:41
[INFO] [stdout]    |
[INFO] [stdout] 81 |     fn default_class(size: usize, node: Node, vals: Box<[Value]>) -> Self {
[INFO] [stdout]    |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:195:27
[INFO] [stdout]     |
[INFO] [stdout] 195 | fn update_children(node: &Node, seen: &mut HashMap<Id, Vec<Id>>, ctxt: &mut Ctxt) {
[INFO] [stdout]     |                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:200:20
[INFO] [stdout]     |
[INFO] [stdout] 200 |             if let Child::Hole(_, i) = n {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:216:23
[INFO] [stdout]     |
[INFO] [stdout] 216 | fn update_vals(node: &Node, vals: &Vec<Value>, ctxt: &Ctxt) -> Result<Box<[Value]>, ()> {
[INFO] [stdout]     |                       ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:271:11
[INFO] [stdout]     |
[INFO] [stdout] 271 |     node: Node,
[INFO] [stdout]     |           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:283:20
[INFO] [stdout]     |
[INFO] [stdout] 283 |             if let Child::Hole(_, i) = c {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:300:45
[INFO] [stdout]     |
[INFO] [stdout] 300 |             new_node.children_mut()[*pos] = Child::Hole(ty_nt, *c_idx);
[INFO] [stdout]     |                                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:329:61
[INFO] [stdout]     |
[INFO] [stdout] 329 |         let holed = n.children().iter().any(|c| matches!(c, Child::Hole(_, _)));
[INFO] [stdout]     |                                                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:377:13
[INFO] [stdout]     |
[INFO] [stdout] 377 |             Child::Hole(_, i) => Some(*i),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |             Child::Hole(_, i) => Some(*i),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:435:28
[INFO] [stdout]     |
[INFO] [stdout] 435 | fn prune(nt: usize, rule: &Node, children: &[(usize, Id)], ctxt: &Ctxt) -> bool {
[INFO] [stdout]     |                            ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:446:29
[INFO] [stdout]     |
[INFO] [stdout] 446 |                 if let Some(Child::Hole(_, c)) = ctxt.classes[*cond].node.children().first() {
[INFO] [stdout]     |                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:626:33
[INFO] [stdout]     |
[INFO] [stdout] 626 |             if !matches!(child, Child::Hole(_, _)) {
[INFO] [stdout]     |                                 ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:636:43
[INFO] [stdout]     |
[INFO] [stdout] 636 |             base_prog.children_mut()[i] = Child::Hole(child_nt, x);
[INFO] [stdout]     |                                           ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:682:52
[INFO] [stdout]     |
[INFO] [stdout] 682 |                 .filter_map(|(p, ch)| matches!(ch, Child::Hole(_, _)).then_some(p))
[INFO] [stdout]     |                                                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:709:49
[INFO] [stdout]     |
[INFO] [stdout] 709 |                     prog.children_mut()[*pos] = Child::Hole(nt2, *c_idx);
[INFO] [stdout]     |                                                 ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:731:30
[INFO] [stdout]     |
[INFO] [stdout] 731 | fn add_node(nt: usize, node: Node, ctxt: &mut Ctxt, vals: Option<Box<[Value]>>) -> (Id, bool, u64) {
[INFO] [stdout]     |                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:806:20
[INFO] [stdout]     |
[INFO] [stdout] 806 | fn gen_vals(node: &Node, ctxt: &Ctxt) -> Option<Box<[Value]>> {
[INFO] [stdout]     |                    ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:816:19
[INFO] [stdout]     |
[INFO] [stdout] 816 | fn minsize(node: &Node, ctxt: &Ctxt) -> usize {
[INFO] [stdout]     |                   ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:820:20
[INFO] [stdout]     |
[INFO] [stdout] 820 |             if let Child::Hole(_, i) = x {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:866:13
[INFO] [stdout]     |
[INFO] [stdout] 866 |             Child::Hole(_, i) => Some(ctxt.classes[*i].satcount),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:46:47
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |                                               ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let v: Box<[Node]> = (0..arity).map(|i| Node::PlaceHolder(i, Ty::Int)).collect();
[INFO] [stdout]    |                 ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:56:13
[INFO] [stdout]    |
[INFO] [stdout] 56 | ) -> Option<Node> {
[INFO] [stdout]    |             ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn valid_prod<Node>(
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:57:17
[INFO] [stdout]    |
[INFO] [stdout] 57 |     let v: Box<[Node]> = a
[INFO] [stdout]    |                 ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn valid_prod<Node>(
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:27:34
[INFO] [stdout]    |
[INFO] [stdout] 27 |     pub prod_rules: Box<[(usize, Node)]>,
[INFO] [stdout]    |                                  ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub struct Problem<Node> {
[INFO] [stdout]    |                   ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:72:24
[INFO] [stdout]    |
[INFO] [stdout] 72 |     hashcons: &mut Map<Node, Id>,
[INFO] [stdout]    |                        ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]    |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:76:45
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let hashconsed_push = |t: &mut Term, n: Node, hashcons: &mut Map<Node, Id>| -> Id {
[INFO] [stdout]    |                                             ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:76:70
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let hashconsed_push = |t: &mut Term, n: Node, hashcons: &mut Map<Node, Id>| -> Id {
[INFO] [stdout]    |                                                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]    |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:102:29
[INFO] [stdout]     |
[INFO] [stdout] 102 |             let exprs: Box<[Node]> = exprs
[INFO] [stdout]     |                             ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout]  65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]     |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:185:13
[INFO] [stdout]     |
[INFO] [stdout] 185 | ) -> Option<Node> {
[INFO] [stdout]     |             ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 179 | fn parse_grammar_term<Node>(
[INFO] [stdout]     |                      ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:372:43
[INFO] [stdout]     |
[INFO] [stdout] 372 |     pub fn prod_rules(&self) -> &[(usize, Node)] {
[INFO] [stdout]     |                                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:20:41
[INFO] [stdout]    |
[INFO] [stdout] 20 |                 .filter(|c| matches!(c, Child::Hole(_, _)))
[INFO] [stdout]    |                                         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:28:20
[INFO] [stdout]    |
[INFO] [stdout] 28 | fn child_to_z3(c: &Child, t: &Term, vars: &[String]) -> String {
[INFO] [stdout]    |                    ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |         Child::Hole(_, id) => term_to_z3_impl(id, t, vars),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         Child::Constant(c) => c.to_string(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:32:9
[INFO] [stdout]    |
[INFO] [stdout] 32 |         Child::VarInt(v) => vars.get(v).cloned().unwrap_or_else(|| format!("v{v}")),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:33:9
[INFO] [stdout]    |
[INFO] [stdout] 33 |         Child::VarBool(v) => vars.get(v).cloned().unwrap_or_else(|| format!("b{v}")),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::Ty`
[INFO] [stdout]  --> src/parser/sexpr.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::Ty;
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `indexmap::IndexMap`
[INFO] [stdout]  --> src/parser/sexpr.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use indexmap::IndexMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::*`
[INFO] [stdout]  --> src/parser/build.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::*;
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/problem.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{HashMap, HashSet};
[INFO] [stdout]   |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `langdef::*`
[INFO] [stdout]   --> src/main.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub use langdef::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ReportOnDrop` and `init_timing_hooks`
[INFO] [stdout]   --> src/main.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 | use phase_timing::{ReportOnDrop, init_timing_hooks};
[INFO] [stdout]    |                    ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:110:6
[INFO] [stdout]     |
[INFO] [stdout] 110 | impl Node {
[INFO] [stdout]     |      ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:119:20
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub elems: Vec<Node>,
[INFO] [stdout]     |                    ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub struct Term<Node> {
[INFO] [stdout]     |                ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:123:31
[INFO] [stdout]     |
[INFO] [stdout] 123 |     pub fn push(&mut self, n: Node) -> Id {
[INFO] [stdout]     |                               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/core.rs:134:24
[INFO] [stdout]     |
[INFO] [stdout] 134 |                 if let Child::Hole(j, ref mut idx) = *ch {
[INFO] [stdout]     |                        ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:170:41
[INFO] [stdout]     |
[INFO] [stdout] 170 | pub fn eval_term_partial(i: Id, term: &[Node], sigma: &Sigma) -> Option<Value> {
[INFO] [stdout]     |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:13:37
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue = BinaryHeap<WithOrd<Node, Score>>;
[INFO] [stdout]    |                                     ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue<Node> = BinaryHeap<WithOrd<Node, Score>>;
[INFO] [stdout]    |               ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:68:15
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub node: Node,
[INFO] [stdout]    |               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:81:41
[INFO] [stdout]    |
[INFO] [stdout] 81 |     fn default_class(size: usize, node: Node, vals: Box<[Value]>) -> Self {
[INFO] [stdout]    |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:195:27
[INFO] [stdout]     |
[INFO] [stdout] 195 | fn update_children(node: &Node, seen: &mut HashMap<Id, Vec<Id>>, ctxt: &mut Ctxt) {
[INFO] [stdout]     |                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:200:20
[INFO] [stdout]     |
[INFO] [stdout] 200 |             if let Child::Hole(_, i) = n {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:216:23
[INFO] [stdout]     |
[INFO] [stdout] 216 | fn update_vals(node: &Node, vals: &Vec<Value>, ctxt: &Ctxt) -> Result<Box<[Value]>, ()> {
[INFO] [stdout]     |                       ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:271:11
[INFO] [stdout]     |
[INFO] [stdout] 271 |     node: Node,
[INFO] [stdout]     |           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:283:20
[INFO] [stdout]     |
[INFO] [stdout] 283 |             if let Child::Hole(_, i) = c {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:300:45
[INFO] [stdout]     |
[INFO] [stdout] 300 |             new_node.children_mut()[*pos] = Child::Hole(ty_nt, *c_idx);
[INFO] [stdout]     |                                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:329:61
[INFO] [stdout]     |
[INFO] [stdout] 329 |         let holed = n.children().iter().any(|c| matches!(c, Child::Hole(_, _)));
[INFO] [stdout]     |                                                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:377:13
[INFO] [stdout]     |
[INFO] [stdout] 377 |             Child::Hole(_, i) => Some(*i),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |             Child::Hole(_, i) => Some(*i),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:435:28
[INFO] [stdout]     |
[INFO] [stdout] 435 | fn prune(nt: usize, rule: &Node, children: &[(usize, Id)], ctxt: &Ctxt) -> bool {
[INFO] [stdout]     |                            ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:446:29
[INFO] [stdout]     |
[INFO] [stdout] 446 |                 if let Some(Child::Hole(_, c)) = ctxt.classes[*cond].node.children().first() {
[INFO] [stdout]     |                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:626:33
[INFO] [stdout]     |
[INFO] [stdout] 626 |             if !matches!(child, Child::Hole(_, _)) {
[INFO] [stdout]     |                                 ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:636:43
[INFO] [stdout]     |
[INFO] [stdout] 636 |             base_prog.children_mut()[i] = Child::Hole(child_nt, x);
[INFO] [stdout]     |                                           ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:682:52
[INFO] [stdout]     |
[INFO] [stdout] 682 |                 .filter_map(|(p, ch)| matches!(ch, Child::Hole(_, _)).then_some(p))
[INFO] [stdout]     |                                                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:709:49
[INFO] [stdout]     |
[INFO] [stdout] 709 |                     prog.children_mut()[*pos] = Child::Hole(nt2, *c_idx);
[INFO] [stdout]     |                                                 ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:731:30
[INFO] [stdout]     |
[INFO] [stdout] 731 | fn add_node(nt: usize, node: Node, ctxt: &mut Ctxt, vals: Option<Box<[Value]>>) -> (Id, bool, u64) {
[INFO] [stdout]     |                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:806:20
[INFO] [stdout]     |
[INFO] [stdout] 806 | fn gen_vals(node: &Node, ctxt: &Ctxt) -> Option<Box<[Value]>> {
[INFO] [stdout]     |                    ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:816:19
[INFO] [stdout]     |
[INFO] [stdout] 816 | fn minsize(node: &Node, ctxt: &Ctxt) -> usize {
[INFO] [stdout]     |                   ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:820:20
[INFO] [stdout]     |
[INFO] [stdout] 820 |             if let Child::Hole(_, i) = x {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:866:13
[INFO] [stdout]     |
[INFO] [stdout] 866 |             Child::Hole(_, i) => Some(ctxt.classes[*i].satcount),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:46:47
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |                                               ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let v: Box<[Node]> = (0..arity).map(|i| Node::PlaceHolder(i, Ty::Int)).collect();
[INFO] [stdout]    |                 ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:56:13
[INFO] [stdout]    |
[INFO] [stdout] 56 | ) -> Option<Node> {
[INFO] [stdout]    |             ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn valid_prod<Node>(
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:57:17
[INFO] [stdout]    |
[INFO] [stdout] 57 |     let v: Box<[Node]> = a
[INFO] [stdout]    |                 ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn valid_prod<Node>(
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:27:34
[INFO] [stdout]    |
[INFO] [stdout] 27 |     pub prod_rules: Box<[(usize, Node)]>,
[INFO] [stdout]    |                                  ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub struct Problem<Node> {
[INFO] [stdout]    |                   ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:72:24
[INFO] [stdout]    |
[INFO] [stdout] 72 |     hashcons: &mut Map<Node, Id>,
[INFO] [stdout]    |                        ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]    |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:76:45
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let hashconsed_push = |t: &mut Term, n: Node, hashcons: &mut Map<Node, Id>| -> Id {
[INFO] [stdout]    |                                             ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:76:70
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let hashconsed_push = |t: &mut Term, n: Node, hashcons: &mut Map<Node, Id>| -> Id {
[INFO] [stdout]    |                                                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]    |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:102:29
[INFO] [stdout]     |
[INFO] [stdout] 102 |             let exprs: Box<[Node]> = exprs
[INFO] [stdout]     |                             ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout]  65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]     |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:185:13
[INFO] [stdout]     |
[INFO] [stdout] 185 | ) -> Option<Node> {
[INFO] [stdout]     |             ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 179 | fn parse_grammar_term<Node>(
[INFO] [stdout]     |                      ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:372:43
[INFO] [stdout]     |
[INFO] [stdout] 372 |     pub fn prod_rules(&self) -> &[(usize, Node)] {
[INFO] [stdout]     |                                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:20:41
[INFO] [stdout]    |
[INFO] [stdout] 20 |                 .filter(|c| matches!(c, Child::Hole(_, _)))
[INFO] [stdout]    |                                         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:28:20
[INFO] [stdout]    |
[INFO] [stdout] 28 | fn child_to_z3(c: &Child, t: &Term, vars: &[String]) -> String {
[INFO] [stdout]    |                    ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |         Child::Hole(_, id) => term_to_z3_impl(id, t, vars),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         Child::Constant(c) => c.to_string(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:32:9
[INFO] [stdout]    |
[INFO] [stdout] 32 |         Child::VarInt(v) => vars.get(v).cloned().unwrap_or_else(|| format!("v{v}")),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:33:9
[INFO] [stdout]    |
[INFO] [stdout] 33 |         Child::VarBool(v) => vars.get(v).cloned().unwrap_or_else(|| format!("b{v}")),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::Ty`
[INFO] [stdout]  --> src/parser/sexpr.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::Ty;
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `indexmap::IndexMap`
[INFO] [stdout]  --> src/parser/sexpr.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use indexmap::IndexMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::*`
[INFO] [stdout]  --> src/parser/build.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::*;
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/problem.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{HashMap, HashSet};
[INFO] [stdout]   |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `langdef::*`
[INFO] [stdout]   --> src/main.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub use langdef::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ReportOnDrop` and `init_timing_hooks`
[INFO] [stdout]   --> src/main.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 | use phase_timing::{ReportOnDrop, init_timing_hooks};
[INFO] [stdout]    |                    ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]    --> src/satcount.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 101 |         panic!("r?");
[INFO] [stdout]     |         ------------ any code following this expression is unreachable
[INFO] [stdout] 102 |         return Vec::new();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:47:45
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let v: Box<[Node]> = (0..arity).map(|i| Node::PlaceHolder(i, Ty::Int)).collect();
[INFO] [stdout]    |                                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]    --> src/satcount.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 101 |         panic!("r?");
[INFO] [stdout]     |         ------------ any code following this expression is unreachable
[INFO] [stdout] 102 |         return Vec::new();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     Node::parse(op, &v)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:60:47
[INFO] [stdout]    |
[INFO] [stdout] 60 |             GrammarTerm::NonTerminal(_, t) => Node::PlaceHolder(0, *t),
[INFO] [stdout]    |                                               ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:64:36
[INFO] [stdout]    |
[INFO] [stdout] 64 |                         Ty::Int => Node::VarInt(idx, *ty),
[INFO] [stdout]    |                                    ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:65:37
[INFO] [stdout]    |
[INFO] [stdout] 65 |                         Ty::Bool => Node::VarBool(idx, *ty),
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:47:45
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let v: Box<[Node]> = (0..arity).map(|i| Node::PlaceHolder(i, Ty::Int)).collect();
[INFO] [stdout]    |                                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:75:5
[INFO] [stdout]    |
[INFO] [stdout] 75 |     Node::parse_prod(prod, &v, expected_ret)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     Node::parse(op, &v)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:60:47
[INFO] [stdout]    |
[INFO] [stdout] 60 |             GrammarTerm::NonTerminal(_, t) => Node::PlaceHolder(0, *t),
[INFO] [stdout]    |                                               ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:64:36
[INFO] [stdout]    |
[INFO] [stdout] 64 |                         Ty::Int => Node::VarInt(idx, *ty),
[INFO] [stdout]    |                                    ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:65:37
[INFO] [stdout]    |
[INFO] [stdout] 65 |                         Ty::Bool => Node::VarBool(idx, *ty),
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:75:5
[INFO] [stdout]    |
[INFO] [stdout] 75 |     Node::parse_prod(prod, &v, expected_ret)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:92:28
[INFO] [stdout]    |
[INFO] [stdout] 92 |                 Ty::Int => Node::VarInt(i, Ty::Int),
[INFO] [stdout]    |                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:93:29
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 Ty::Bool => Node::VarBool(i, Ty::Bool),
[INFO] [stdout]    |                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:98:53
[INFO] [stdout]    |
[INFO] [stdout] 98 |         Expr::ConstBool(true) => hashconsed_push(t, Node::True(Ty::Bool), hashcons),
[INFO] [stdout]    |                                                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:99:54
[INFO] [stdout]    |
[INFO] [stdout] 99 |         Expr::ConstBool(false) => hashconsed_push(t, Node::False(Ty::Bool), hashcons),
[INFO] [stdout]    |                                                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:100:49
[INFO] [stdout]     |
[INFO] [stdout] 100 |         Expr::ConstInt(i) => hashconsed_push(t, Node::ConstInt(i, Ty::Int), hashcons),
[INFO] [stdout]     |                                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     Node::PlaceHolder(
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:113:21
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let n = Node::parse(&*op, &*exprs).unwrap();
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:128:28
[INFO] [stdout]     |
[INFO] [stdout] 128 |             let i = t.push(Node::VarInt(instvars.len() + vars.len(), rettype));
[INFO] [stdout]     |                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:200:18
[INFO] [stdout]     |
[INFO] [stdout] 200 |             Some(Node::PlaceHolder(0, Ty::PRule(valids)))
[INFO] [stdout]     |                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:92:28
[INFO] [stdout]    |
[INFO] [stdout] 92 |                 Ty::Int => Node::VarInt(i, Ty::Int),
[INFO] [stdout]    |                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:93:29
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 Ty::Bool => Node::VarBool(i, Ty::Bool),
[INFO] [stdout]    |                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:98:53
[INFO] [stdout]    |
[INFO] [stdout] 98 |         Expr::ConstBool(true) => hashconsed_push(t, Node::True(Ty::Bool), hashcons),
[INFO] [stdout]    |                                                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:99:54
[INFO] [stdout]    |
[INFO] [stdout] 99 |         Expr::ConstBool(false) => hashconsed_push(t, Node::False(Ty::Bool), hashcons),
[INFO] [stdout]    |                                                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:100:49
[INFO] [stdout]     |
[INFO] [stdout] 100 |         Expr::ConstInt(i) => hashconsed_push(t, Node::ConstInt(i, Ty::Int), hashcons),
[INFO] [stdout]     |                                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     Node::PlaceHolder(
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |                 Node::parse_prod(&*op, &*args, Ty::NonTerminal(nt))
[INFO] [stdout]     |                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:113:21
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let n = Node::parse(&*op, &*exprs).unwrap();
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:128:28
[INFO] [stdout]     |
[INFO] [stdout] 128 |             let i = t.push(Node::VarInt(instvars.len() + vars.len(), rettype));
[INFO] [stdout]     |                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:218:17
[INFO] [stdout]     |
[INFO] [stdout] 218 |                 Node::parse_prod(&*template, &*args, Ty::NonTerminal(nt)).unwrap_or_else(|| {
[INFO] [stdout]     |                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:227:46
[INFO] [stdout]     |
[INFO] [stdout] 227 |         GrammarTerm::ConstInt(i, ty) => Some(Node::ConstInt(*i, *ty)),
[INFO] [stdout]     |                                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:228:50
[INFO] [stdout]     |
[INFO] [stdout] 228 |         GrammarTerm::ConstBool(true, ty) => Some(Node::True(*ty)),
[INFO] [stdout]     |                                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:229:51
[INFO] [stdout]     |
[INFO] [stdout] 229 |         GrammarTerm::ConstBool(false, ty) => Some(Node::False(*ty)),
[INFO] [stdout]     |                                                   ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:234:33
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 Ty::Int => Some(Node::VarInt(i, *tty)),
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:235:34
[INFO] [stdout]     |
[INFO] [stdout] 235 |                 Ty::Bool => Some(Node::VarBool(i, *tty)),
[INFO] [stdout]     |                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:200:18
[INFO] [stdout]     |
[INFO] [stdout] 200 |             Some(Node::PlaceHolder(0, Ty::PRule(valids)))
[INFO] [stdout]     |                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |                 Node::parse_prod(&*op, &*args, Ty::NonTerminal(nt))
[INFO] [stdout]     |                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:218:17
[INFO] [stdout]     |
[INFO] [stdout] 218 |                 Node::parse_prod(&*template, &*args, Ty::NonTerminal(nt)).unwrap_or_else(|| {
[INFO] [stdout]     |                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:227:46
[INFO] [stdout]     |
[INFO] [stdout] 227 |         GrammarTerm::ConstInt(i, ty) => Some(Node::ConstInt(*i, *ty)),
[INFO] [stdout]     |                                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:228:50
[INFO] [stdout]     |
[INFO] [stdout] 228 |         GrammarTerm::ConstBool(true, ty) => Some(Node::True(*ty)),
[INFO] [stdout]     |                                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:229:51
[INFO] [stdout]     |
[INFO] [stdout] 229 |         GrammarTerm::ConstBool(false, ty) => Some(Node::False(*ty)),
[INFO] [stdout]     |                                                   ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:234:33
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 Ty::Int => Some(Node::VarInt(i, *tty)),
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:235:34
[INFO] [stdout]     |
[INFO] [stdout] 235 |                 Ty::Bool => Some(Node::VarBool(i, *tty)),
[INFO] [stdout]     |                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Rng`
[INFO] [stdout]  --> src/linearreg.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | use rand::{Rng, SeedableRng};
[INFO] [stdout]   |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/core.rs:219:25
[INFO] [stdout]     |
[INFO] [stdout] 219 |             .map(|(i2, (v, ty))| match (i == i2, ty) {
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/synth.rs:725:23
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn enqueue(nt: usize, s: usize, x: Id, ctxt: &mut Ctxt) {
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Rng`
[INFO] [stdout]  --> src/linearreg.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | use rand::{Rng, SeedableRng};
[INFO] [stdout]   |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/satcount.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |     let mut sat_count = 0;
[INFO] [stdout]     |         ----^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sat_count`
[INFO] [stdout]    --> src/satcount.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |     let mut sat_count = 0;
[INFO] [stdout]     |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sat_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/core.rs:219:25
[INFO] [stdout]     |
[INFO] [stdout] 219 |             .map(|(i2, (v, ty))| match (i == i2, ty) {
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/parser/sexpr.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 |             x => {
[INFO] [stdout]    |             ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l`
[INFO] [stdout]   --> src/parser/build.rs:33:23
[INFO] [stdout]    |
[INFO] [stdout] 33 | fn handle_check_synth(l: &[SExpr], synth: &mut SynthProblem) {
[INFO] [stdout]    |                       ^ help: if this is intentional, prefix it with an underscore: `_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/synth.rs:725:23
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn enqueue(nt: usize, s: usize, x: Id, ctxt: &mut Ctxt) {
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/satcount.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |     let mut sat_count = 0;
[INFO] [stdout]     |         ----^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sat_count`
[INFO] [stdout]    --> src/satcount.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |     let mut sat_count = 0;
[INFO] [stdout]     |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sat_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/parser/sexpr.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 |             x => {
[INFO] [stdout]    |             ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l`
[INFO] [stdout]   --> src/parser/build.rs:33:23
[INFO] [stdout]    |
[INFO] [stdout] 33 | fn handle_check_synth(l: &[SExpr], synth: &mut SynthProblem) {
[INFO] [stdout]    |                       ^ help: if this is intentional, prefix it with an underscore: `_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/problem.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |         let mut solver = z3::Solver::new();
[INFO] [stdout]     |             ----^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/problem.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |         let mut solver = z3::Solver::new();
[INFO] [stdout]     |             ----^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:328:33
[INFO] [stdout]     |
[INFO] [stdout] 328 |         let is_ph = matches!(n, Node::PlaceHolder(_, _));
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:480:25
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:480:48
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                                                ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:499:25
[INFO] [stdout]     |
[INFO] [stdout] 499 |                     (_, Node::ConstInt(0, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:502:22
[INFO] [stdout]     |
[INFO] [stdout] 502 |                     (Node::ConstInt(0, _), _) => {
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:530:25
[INFO] [stdout]     |
[INFO] [stdout] 530 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:530:48
[INFO] [stdout]     |
[INFO] [stdout] 530 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                                                ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:533:22
[INFO] [stdout]     |
[INFO] [stdout] 533 |                     (Node::ConstInt(0, _) | Node::ConstInt(1, _), _) => {
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:533:45
[INFO] [stdout]     |
[INFO] [stdout] 533 |                     (Node::ConstInt(0, _) | Node::ConstInt(1, _), _) => {
[INFO] [stdout]     |                                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:12:30
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _) => {
[INFO] [stdout]    |                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _) => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 |         Node::ConstInt(k, _) => k.to_string(),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 10 |         Node::PlaceHolder(id, _) => id.to_string(),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0433, E0583.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `liasynth` (bin "liasynth") due to 81 previous errors; 15 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:328:33
[INFO] [stdout]     |
[INFO] [stdout] 328 |         let is_ph = matches!(n, Node::PlaceHolder(_, _));
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:480:25
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:480:48
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                                                ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:499:25
[INFO] [stdout]     |
[INFO] [stdout] 499 |                     (_, Node::ConstInt(0, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:502:22
[INFO] [stdout]     |
[INFO] [stdout] 502 |                     (Node::ConstInt(0, _), _) => {
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:530:25
[INFO] [stdout]     |
[INFO] [stdout] 530 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:530:48
[INFO] [stdout]     |
[INFO] [stdout] 530 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                                                ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:533:22
[INFO] [stdout]     |
[INFO] [stdout] 533 |                     (Node::ConstInt(0, _) | Node::ConstInt(1, _), _) => {
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:533:45
[INFO] [stdout]     |
[INFO] [stdout] 533 |                     (Node::ConstInt(0, _) | Node::ConstInt(1, _), _) => {
[INFO] [stdout]     |                                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:12:30
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _) => {
[INFO] [stdout]    |                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _) => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 |         Node::ConstInt(k, _) => k.to_string(),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 10 |         Node::PlaceHolder(id, _) => id.to_string(),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0433, E0583.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `liasynth` (bin "liasynth" test) due to 81 previous errors; 15 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "80b3b8c8a01df9496a5a6c891c8166fcbeadb8fc1b875b4f570aa67b4540b60f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "80b3b8c8a01df9496a5a6c891c8166fcbeadb8fc1b875b4f570aa67b4540b60f", kill_on_drop: false }`
[INFO] [stdout] 80b3b8c8a01df9496a5a6c891c8166fcbeadb8fc1b875b4f570aa67b4540b60f
